Nesterenko A. Yu., Semenov A. M. «Methodology for assessing the security of cryptographic protocols» // Applied Discrete Mathematics 2022. №56 C.33-82
Alekseev Evgeniy K., Kyazhin Sergey N., Smyshlyaev Stanislav V. «Forcing future public ephemeral keys to attack authenticated key establishment protocols» // Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 2024. №66 C.60-77
Lebedev P. A., Semenov A.M., Lazareva E. V., Nesterenko A. Yu., Grebnev S. V. «Implantation of russian key agreement protocols into» // Applied Discrete Mathematics. Supplement 2018. №11 C.62-65
